<?php
/**
 * Created by IntelliJ IDEA.
 * User: lenovo
 * Date: 2019/1/12
 * Time: 15:37
 */
session_start();
if(isset($_SESSION["name"] )) {
   $name= $_SESSION["name"];

}else{
    header("location:login.php");
}
require "main.html";